Block Structure vs Scope Extrusion: Between Innocence and Omniscience
نویسندگان
چکیده
منابع مشابه
Block Structure vs. Scope Extrusion: Between Innocence and Omniscience
We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value computation with block-allocated storage through soundness, finitary definability and universality results. This puts us in a good position to conduct a comparative study of purely functional computation, computation with bloc...
متن کاملon the relationship between actual vs. perceived difficulties of a text and iranian efl learners reading anxiety
abstract this study examines the relationship between reading anxiety and difficulty of texts as well as the relationship between reading anxiety and students perceived difficulty of the texts. since difficulty is a relative concept, i limited its definition by sticking to the readability formula. we also took students perceived difficulty levels into account. therefore, in the present study, ...
15 صفحه اولStructure, Scale, and Scope Structure, Scale, and Scope in the Global Computer Industry
Scholars in many fields have often noted that size and diversification raise the performance of firms in the most significant sectors of our economy. Using longitudinal network data on the personal computer industry, this paper identifies the main effects and complex interplay of two attributes of a firm’s role in a system of competitive relations: (a) its size relative to that of its structura...
متن کاملGrounding and Omniscience
I’m going to argue that omniscience is impossible and therefore that there is no God. The argument turns on the notion of grounding. After illustrating and clarifying that notion, I’ll start the argument in earnest. The first step will be to lay out five claims, one of which is the claim that there is an omniscient being, and the other four of which are claims about grounding. I’ll prove that t...
متن کاملLogical omniscience and rational choice
It is well-known that usual doxastic models (epistemic logic, probability) suffer from strong idealizations. By extension, models of decision making that elaborate on these doxastic models (e.g., models of choice under set-theoretic uncertainty ([LR85], chap.13) and the expected utility model) inherit these idealizations. To improve doxastic models is therefore an important aspect of bounded ra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2017
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(3:3)2016